Proof Based Linear Algebra Book